Operations on integral lifts of K(n)

This very rough sketch is a sequel to arXiv:1808.08587; it presents evidence that operations on lifts of the functors K(n) to cohomology theories with values in modules over valuation rings of local number fields, indexed by Lubin-Tate groups of such fields, are extensions of the groups of automorphisms of the indexing group laws, by the exterior algebras on the normal bundle to the orbits of the group laws in the space of lifts.Comment: \S 2.0 hopefully less cryptic. To appear in the proceedings of the 2015 Nagoya conference honoring T Ohkawa. Comments very welcome

Morita base change in Hopf-cyclic (co)homology

In this paper, we establish the invariance of cyclic (co)homology of left Hopf algebroids under the change of Morita equivalent base algebras. The classical result on Morita invariance for cyclic homology of associative algebras appears as a special example of this theory. In our main application we consider the Morita equivalence between the algebra of complex-valued smooth functions on the classical 2-torus and the coordinate algebra of the noncommutative 2-torus with rational parameter. We then construct a Morita base change left Hopf algebroid over this noncommutative 2-torus and show that its cyclic (co)homology can be computed by means of the homology of the Lie algebroid of vector fields on the classical 2-torus.Comment: Final version to appear in Lett. Math. Phy

Brown representability for space-valued functors

In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify small contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every small contravariant functor from spaces to spaces which takes coproducts to products up to homotopy and takes homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets taking homotopy pushouts to homotopy pullbacks is equivalent to the restriction of a representable functor. This theorem may be considered as a contravariant analog of Goodwillie's classification of linear functors.Comment: 19 pages, final version, accepted by the Israel Journal of Mathematic

HARP/ACSIS: A submillimetre spectral imaging system on the James Clerk Maxwell Telescope

This paper describes a new Heterodyne Array Receiver Programme (HARP) and Auto-Correlation Spectral Imaging System (ACSIS) that have recently been installed and commissioned on the James Clerk Maxwell Telescope (JCMT). The 16-element focal-plane array receiver, operating in the submillimetre from 325 to 375 GHz, offers high (three-dimensional) mapping speeds, along with significant improvements over single-detector counterparts in calibration and image quality. Receiver temperatures are $\sim$120 K across the whole band and system temperatures of $\sim$300K are reached routinely under good weather conditions. The system includes a single-sideband filter so these are SSB figures. Used in conjunction with ACSIS, the system can produce large-scale maps rapidly, in one or more frequency settings, at high spatial and spectral resolution. Fully-sampled maps of size 1 square degree can be observed in under 1 hour. The scientific need for array receivers arises from the requirement for programmes to study samples of objects of statistically significant size, in large-scale unbiased surveys of galactic and extra-galactic regions. Along with morphological information, the new spectral imaging system can be used to study the physical and chemical properties of regions of interest. Its three-dimensional imaging capabilities are critical for research into turbulence and dynamics. In addition, HARP/ACSIS will provide highly complementary science programmes to wide-field continuum studies, and produce the essential preparatory work for submillimetre interferometers such as the SMA and ALMA.Comment: MNRAS Accepted 2009 July 2. 18 pages, 25 figures and 6 table

Smash products for secondary homotopy groups

We construct a smash product operation on secondary homotopy groups yielding the structure of a lax symmetric monoidal functor. Applications on cup-one products, Toda brackets and Whitehead products are considered. In particular we prove a formula for the crossed effect of the cup-one product operation on unstable homotopy groups of spheres which was claimed by Barratt-Jones-Mahowald.Comment: We give a clearer description of the tensor product of symmetric sequences of quadratic pair module

The homotopy theory of dg-categories and derived Morita theory

The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of a certain category of $(C,D)$-bimodules. We also prove that the homotopy category $Ho(dg-Cat)$ is cartesian closed (i.e. possesses internal Hom's relative to the tensor product). We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dg-categories of modules over two dg-categories $C$ and $D$ as the dg-category of $(C,D)$-bi-modules. Finally, we give three applications of our results. The first one expresses Hochschild cohomology as endomorphisms of the identity functor, as well as higher homotopy groups of the \emph{classifying space of dg-categories} (i.e. the nerve of the category of dg-categories and quasi-equivalences between them). The second application is the existence of a good theory of localization for dg-categories, defined in terms of a natural universal property. Our last application states that the dg-category of (continuous) morphisms between the dg-categories of quasi-coherent (resp. perfect) complexes on two schemes (resp. smooth and proper schemes) is quasi-equivalent to the dg-category of quasi-coherent complexes (resp. perfect) on their product.Comment: 50 pages. Few mistakes corrected, and some references added. Thm. 8.15 is new. Minor corrections. Final version, to appear in Inventione

Rotation Measure Synthesis of Galactic Polarized Emission with the DRAO 26-m Telescope

Radio polarimetry at decimetre wavelengths is the principal source of information on the Galactic magnetic field. The diffuse polarized emission is strongly influenced by Faraday rotation in the magneto-ionic medium and rotation measure is the prime quantity of interest, implying that all Stokes parameters must be measured over wide frequency bands with many frequency channels. The DRAO 26-m Telescope has been equipped with a wideband feed, a polarization transducer to deliver both hands of circular polarization, and a receiver, all operating from 1277 to 1762 MHz. Half-power beamwidth is between 40 and 30 arcminutes. A digital FPGA spectrometer, based on commercially available components, produces all Stokes parameters in 2048 frequency channels over a 485-MHz bandwidth. Signals are digitized to 8 bits and a Fast Fourier Transform is applied to each data stream. Stokes parameters are then generated in each frequency channel. This instrument is in use at DRAO for a Northern sky polarization survey. Observations consist of scans up and down the Meridian at a drive rate of 0.9 degree per minute to give complete coverage of the sky between declinations -30 degree and 90 degree. This paper presents a complete description of the receiver and data acquisition system. Only a small fraction of the frequency band of operation is allocated for radio astronomy, and about 20 percent of the data are lost to interference. The first 8 percent of data from the survey are used for a proof-of-concept study, which has led to the first application of Rotation Measure Synthesis to the diffuse Galactic emission obtained with a single-antenna telescope. We find rotation measure values for the diffuse emission as high as approximately 100 rad per square metre, much higher than recorded in earlier work.Comment: Accepted for publication in The Astronomical Journa

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.Comment: Final version, to appear in Israel J. Mat

Assembly maps with coefficients in topological algebras and the integral K-theoretic Novikov conjecture

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and \S, where \cpt denotes the C^*-algebra of compact operators and \S denotes the algebra of Schatten class operators. We introduce assembly maps with finite coefficients and under an additional hypothesis, we prove that such a group also satisfies the algebraic K-theoretic Novikov conjecture over \bar{\mathbb{Q}} and \mathbb{C} with finite coefficients. For all torsion free Gromov hyperbolic groups G, we demonstrate that the canonical algebra homomorphism \cpt[G]\map C^*_r(G)\hat{\otimes}\cpt induces an isomorphism between their algebraic K-theory groups.Comment: v2 Exposition improved; one lemma and grant acknowledgement added; v3 some terminology changed and details added, Theorems 4.5 and 4.7 in v3 need an extra hypothesis; v4 abridged version accepted for publication in JHR